Перевод: со всех языков на русский

с русского на все языки

automated procedure

См. также в других словарях:

  • Automated Tissue Image Systems — (ATIS) are computer controlled automatic test equipment (ATE) systems classified as medical device and used as pathology laboratory tools (tissue based cancer diagnostics) to characterize a stained tissue sample embedded on a bar coded glass… …   Wikipedia

  • Automated reasoning — is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically. Although automated… …   Wikipedia

  • Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… …   Wikipedia

  • Automated lamellar keratoplasty — Automated Lamellar Keratoplasty, commonly abbreviated to ALK uses a device called a microkeratome to separate a thin layer of the cornea and create a flap. The flap is then folded back, and the microkeratome removes a thin disc of corneal stroma… …   Wikipedia

  • Automated Transfer Vehicle — Véhicule automatique de transfert européen Pour les articles homonymes, voir ATV. Le Véhicule automatique de transfert européen (en anglais, « Automated Transfer Vehicle (ATV) ») selon le terme utilisé par Jean Jacques Dordain, le… …   Wikipédia en Français

  • Automated transfer vehicle — Véhicule automatique de transfert européen Pour les articles homonymes, voir ATV. Le Véhicule automatique de transfert européen (en anglais, « Automated Transfer Vehicle (ATV) ») selon le terme utilisé par Jean Jacques Dordain, le… …   Wikipédia en Français

  • Automated Quality control of meteorological observations — A meteorological observation at a given place can be inaccurate for a variety of reasons, such as a hardware defect. Quality control can help spot which meteorological observations are inaccurate.One of the main automated quality control program… …   Wikipedia

  • automated lamellar keratectomy — (ALK) excision of the outer layers of the cornea using an automated keratome. It is usually used as part of a surgical procedure, to alter the shape of the cornea to correct errors of refraction …   Medical dictionary

  • automated lamellar keratectomy — ALK excision of the outer layers of the cornea using an automated keratome. It is usually used as part of a surgical procedure, to alter the shape of the cornea to correct errors of refraction …   The new mediacal dictionary

  • Java stored procedure — A Java stored procedure is a set of SQL statements, written in the Java programming language, grouped together as an executable unit.A stored procedure is a program that is kept and executed within a database server. The procedure is called from… …   Wikipedia

  • Proof procedure — In logic, and in particular proof theory, a proof procedure for a given logic is a systematic method for producing proofs in some proof calculus of (provable) statements.There are several types of proof calculi. The most popular are natural… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»